A Resourceful Reframing of Behavior Trees
نویسندگان
چکیده
Designers of autonomous agents, whether in physical or virtual environments, need to express nondeterminisim, failure, and parallelism in behaviors, as well as accounting for synchronous coordination between agents. Behavior Trees are a semi-formalism deployed widely for this purpose in the games industry, but with challenges to scalability, reasoning, and reuse of common sub-behaviors. We present an alternative formulation of behavior trees through a language design perspective, giving a formal operational semantics, type system, and corresponding implementation. We express specications for atomic behaviors as linear logic formulas describing how they transform the environment, and our type system uses linear sequent calculus to derive a compositional type assignment to behavior tree expressions. ese types expose the conditions required for behaviors to succeed and allow abstraction over parameters to behaviors, enabling the development of behavior “building blocks” amenable to compositional reasoning and reuse.
منابع مشابه
Reframing the Attitude-Behavior Debate: The Case of Meat-Abstinence in Vegetarian Student Cooperatives
Reframing the Attitude-Behavior Debate: The Case of Meat-Abstinence in Vegetarian Student Cooperatives
متن کاملSticky prospects: loss frames are cognitively stickier than gain frames.
Research across numerous domains has highlighted the current--and presumably temporary--effects of frames on preference and behavior. Yet people often encounter information that has been framed in different ways across contexts, and there are reasons to predict that certain frames, once encountered, might tend to stick in the mind and resist subsequent reframing. We propose that loss frames are...
متن کاملCognitive reframing for carers of people with dementia.
BACKGROUND The balance of evidence about whether psychosocial interventions for caregivers of people with dementia could reduce carers' psychological morbidity and delay their relatives' institutionalisation is now widely regarded as moderately positive (Brodaty 2003; Spijker 2008). Multi-component, tailor-made psychosocial interventions are considered to be particularly promising (Brodaty 2003...
متن کاملReframing in context: A systematic approach for model reuse in machine learning
We describe a systematic approach called reframing, defined as the process of preparing a machine learning model (e.g., a classifier) to perform well over a range of operating contexts. One way to achieve this is by constructing a versatile model, which is not fitted to a particular context, and thus enables model reuse. We formally characterise reframing in terms of a taxonomy of context chang...
متن کاملPerfectionism and coping with daily failures: positive reframing helps achieve satisfaction at the end of the day.
Differentiating perfectionistic strivings and perfectionistic concerns, the present study examined how perfectionism predicts what coping strategies people use, when dealing with failures, and how perfectionism and coping influence people's satisfaction. A sample of 149 students completed daily reports for 3-14 days, reporting the most bothersome failure they experienced during the day, what st...
متن کامل